cte::int->int
cte x = x

inc::int->int
inc n = sum (cte n) 1 
           where 
                 sum::int->int->int
                 sum t r = t+r 
           end

maint::int
maint = inc s
           where
                s::int
                s=45
           end